perfect differential ideal

全微分理想